#!/bin/bash

echo "Gerando Saida"
./Maude/maude-linux64/maude.linux64 PetriNetMaximalStep.maude > Debug/PetriNetMaximalStep.saida
cat Debug/PetriNetMaximalStep.saida | python scripts/parser.py > PetriNetMaximalStep.resultado
echo "Saida Gerada!"
